satisfiability procedure
可满足性过程
热门查询
- Victorian n. 维多利亚时代；维多利亚女王时代的人 adj. 维多利亚女王时代的；英国维多利亚女王时代的
- already adv. 已经，早已；先前
- novena n. 连续九天的祷告 n. (Novena)人名；(意)诺韦纳
- neutron n. [核] 中子
- crier n. 哭泣者；传唤者；叫卖的小贩 n. (Crier)人名；(英)克赖耶
- section n. 截面；部分；部门；地区；章节 vt. 把…分段；将…切片；对…进行划分 vi. 被切割成片；被分成部分
- erasure n. 消除；涂擦的痕迹；消磁
- procrastinator n. 拖延者，拖拉者；因循者
- kilometre n. [计量] 公里；[计量] 千米
- rspca abbr. <英>皇家防止虐待动物协会
- ethnicity n. 种族划分
- RMS abbr. 均方根（值）（Root-Mean-Square）；铁路邮政（Railway Mail Service）；皇家邮政（Royal Mail Service）；记录管理服务（Record Management Services）
- apple n. 苹果，苹果树，苹果似的东西；[美俚]炸弹，手榴弹，（棒球的）球；[美俚]人，家伙。
- bach n. 巴赫（德国作曲家）
- antibody n. [免疫] 抗体
- Okhotsk n. 鄂霍次克海(太平洋西北部边海)
- contestable adj. 争论的；可争的
- Elvira n. 埃尔韦拉(f.)
- monomania n. 偏执狂；对一事的狂热
- brined adj. 用盐水腌制的 v. 浸入盐水（brine的过去式和过去分词）
